demostración por el absurdo

Mira otros diccionarios:

• Demostración por reducción al absurdo — La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en las demostraciones matemáticas. Consiste en demostrar una proposición matemática probando que el que no lo sea conduce a una contradicción. Un ejemplo es la… …   Enciclopedia Universal

• Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… …   Wikipedia Español

• Demostración de la irracionalidad de π — Saltar a navegación, búsqueda Símbolo del número π, popularizado por Leonhard Euler. Aunque la constante matemática conocida como π (pi) ha sido estudiada desde la antigüedad, y también el concepto de número irracional, no fue sin …   Wikipedia Español

• Demostración original del teorema de completitud de Gödel — Saltar a navegación, búsqueda En 1930 Gödel demostró la completitud de la lógica cuantificacional de primer orden. Literalmente el Teorema de completitud de Gödel establece: Para toda fórmula A de la lógica cuantificacional de primer orden, si A… …   Wikipedia Español

• Reducción al absurdo — Saltar a navegación, búsqueda Reducción al absurdo (del latín Reductio ad absurdum) es un método de demostración (creado y a menudo usado por Aristóteles como un argumento lógico) en el que suponemos una hipótesis y obtenemos un resultado absurdo …   Wikipedia Español

• ab absurdo — {{＃}}{{LM A00011}}{{〓}} {{［}}ab absurdo{{］}} {{■}}(lat.){{□}} {{《}}▍ loc.adv.{{》}} Por reducción al absurdo: • En una demostración ab absurdo, se hace evidente la verdad de una proposición por la falsedad o imposibilidad de la contraria.{{○}}… …   Diccionario de uso del español actual con sinónimos y antónimos

• Hipócrates de Quíos — Para otros usos de este término, véase Hipócrates (desambiguación). La Luna de Hipócrates. Solución parcial de la tarea «cuadratura del círculo», sugerida por Hipócrates. La superficie de la figura sombreada es igual a la del triángulo ABC. No es …   Wikipedia Español

• Teorema de la bola peluda — Si un campo vectorial sobre una esfera se simboliza por pelos de longitud constante, el teorema de la bola peluda estipula que la esfera contiene al menos un rizo. La figura contiene dos, uno en cada polo. En matemática, y más precisamente en… …   Wikipedia Español

• Reductio ad absurdum — ARGVMENTA Argumento ad antiquitatem Argumento ad baculum Argumento ad consequentiam Argumento ad crumenam Argumento ad hominem Argumento ad ignorantiam Argumento ad logicam Argumento ad nauseam Argumento ad novitatem Argumento ad populum… …   Wikipedia Español

• Argumento ontológico — Saltar a navegación, búsqueda El argumento ontológico para la existencia de Dios es un razonamiento apriorístico que pretende probar la existencia de Dios empleando únicamente la razón y la intuición. Dentro del contexto de las religiones… …   Wikipedia Español

• Contrarrecíproco — Se llama contrarrecíproco a una ley lógica, formalizada en los silogismos por Aristóteles, que consiste en la implicación de la negación de un consecuente con la negación de su antecedente. Contenido 1 Definición formal 2 Demostración por… …   Wikipedia Español